conformity to type